Referen eVersion 2 . 3 September 1999

نویسندگان

  • S. Owre
  • N. Shankar
  • J. M. Rushby
  • D. W. J. Stringer-Calvert
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Inflation and eversion of functionally graded non-linear elastic incompressible circular cylinders

Article history: Received 11 September 2008 Received in revised form 8 December 2008 Accepted 19 December 2008

متن کامل

The ‘Holiverse’: holistic eversion of the 2-sphere in R

We give a short, simple and conceptual proof, based on spin structures, of sphere eversion: an embedded 2-sphere in R can be turned inside out by regular homotopy. Ingredients of this eversion are seamlessly connected. We also give the mathematical origins of the proof: the Hopf fibration, and the topological structure of real-projective 3-space.

متن کامل

Tight Integration of Java and Petri Nets

Olaf Kummer Universität Hamburg, Fa hberei h Informatik Vogt-Kölln-Straÿe 30, D-22527 Hamburg kummer informatik.uni-hamburg.de Abstra t In this paper we investigate how the Java programming language an be integrated in an obje t-oriented Petri net formalism. It be omes apparent how a arefully designed uni ation algorithm supports this goal, despite the fa t that Java itself is not based on uni ...

متن کامل

Ììñôóööð Äó Blockin Blockinððøý Ò Ïïï Êêõùù×ø Ëøöööñ×

Abstra t Temporal lo ality of referen e in Web request streams emerges from two distin t phenomena: the popularity of Web obje ts and the temporal orrelation of requests. Capturing these two elements of temporal lo ality is important be ause it enables a he repla ement poli ies to adjust how they apitalize on temporal lo ality based on the relative prevalen e of these phenomena. In this paper, ...

متن کامل

Eversion strength analysis of uninjured and functionally unstable ankles.

OBJECTIVE Functional ankle instability (FAI) afflicts many athletes. Several causes of FAI have been implicated, including peroneal muscle weakness. Traditional musculoskeletal rehabilitation programs have focused on concentric muscle strength. The purpose of our study was to compare concentric and eccentric isokinetic and isometric eversion ankle strength measurements between subjects identifi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007